<header>Editor ID</header>

The internal ID used by Webmin for this file editor. This is useful to know when
granting access to the editor to selected Usermin users. <p>

<hr>


